Subtype polymorphism - PDFSEARCH.IO - Document Search Engine

Subtype polymorphism
Results: 217

#	Item
91	Detecting Format String Vulnerabilities with Type Qualifiers Umesh Shankar Kunal Talwar Jeffrey S. Foster ushankar,kunal,jfoster,daw Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2015-01-21 19:48:40 C programming language Data types Type theory C++ Procedural programming languages Printf format string Type system Sizeof Subtype polymorphism Computing Software engineering Computer programming
92	Detecting Format String Vulnerabilities with Type Qualifiers Umesh Shankar Kunal Talwar Jeffrey S. Foster ushankar,kunal,jfoster,daw Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-05-23 16:37:25 C programming language Data types Type theory C++ Procedural programming languages Printf format string Type system Sizeof Subtype polymorphism Computing Software engineering Computer programming
93	A Theory of Type Qualifiers∗ Jeffrey S. Foster [removed] Manuel F¨ ahndrich Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:25 Programming language theory Subtype polymorphism Symbol Type inference Hindley–Milner Type system Type safety Simply typed lambda calculus Reference Software engineering Type theory Computing
94	Type Qualifiers: Lightweight Specifications to Improve Software Quality by Jeffrey Scott Foster B.S. (Cornell University[removed]M.Eng. (Cornell University) 1996 Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2005-11-12 18:17:26 Computing Data types Inference Object-oriented programming Program analysis Type system Subtype polymorphism Type inference Programming language Type theory Software engineering Programming language theory
95	Australian Hydrological Geospatial Fabric (Geofabric) Data Dictionary Surface Network Version 2.1 – November 2012 Add to Reading List Source URL: www.bom.gov.au Language: English - Date: 2012-11-15 19:58:49 Type theory Computer arithmetic Integer Relation Domain name Lightweight Directory Access Protocol Null Subtype polymorphism Computing Data types Software engineering
96	NSW GURAS Delivery Model Data Dictionary NSW GURAS Data Dictionary v4.1.html March[removed]Theme Index GURASTheme Add to Reading List Source URL: www.lpi.nsw.gov.au Language: English - Date: 2015-03-03 16:27:11 Data types Type theory Polymorphism Object-oriented programming Identifiers Subtype polymorphism Relation Attribute grammar Scheme Software engineering Computing Computer programming
97	Feature Maintenance Directory Version 3 October 2014 Add to Reading List Source URL: www.lpi.nsw.gov.au Language: English - Date: 2014-10-28 01:02:51 Ancient Greek literature Chinese literature Gazetteer Korean literature Topographic map Topography Software engineering Subtype polymorphism Planetary science Cartography Geography Physical geography
98	Topographic Data Dictionary v8.8 NSW Topographic Data Model Data Dictionary v8.8 Dec[removed]Theme Index Add to Reading List Source URL: www.lpi.nsw.gov.au Language: English - Date: 2014-03-19 21:27:45 Type theory Computer programming Null Subtype polymorphism Attribute grammar Software engineering Computing Data types
99	Railway English version – SOSI standard 4.0 Railway English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:08:25 Data types Computing Pointing stick Subtype polymorphism Constraint programming Software engineering Type theory Object-oriented programming
100	Adresses English version – SOSI standard 4.0 Adresses English version – SOSI standard 4.0 Adresses Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:07:57 Computing Computer programming C++ Object-oriented programming Subtype polymorphism Type theory Reference String Integer Data types Software engineering Primitive types

UPDATE